Advances in the theory of μŁΠ algebras

نویسندگان

  • Enrico Marchioni
  • Luca Spada
چکیده

Recently an expansion of LΠ 1 2 logic with fixed points has been considered [23]. In the present work we study the algebraic semantics of this logic, namely μ LΠ algebras, from algebraic, model theoretic and computational standpoints. We provide a characterisation of free μ LΠ algebras as a family of particular functions from [0, 1]n to [0, 1]. We show that the first-order theory of linearly ordered μ LΠ algebras enjoys quantifier elimination, being, more precisely, the model completion of the theory of linearly ordered LΠ 1 2 algebras. Furthermore, we give a functional representation of any LΠ 1 2 algebra in the style of Di Nola Theorem for MV-algebras and finally we prove that the equational theory of μ LΠ algebras is in PSPACE.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arithmetic Deformation Theory of Lie Algebras

This paper is devoted to deformation theory of graded Lie algebras over Z or Zl with finite dimensional graded pieces. Such deformation problems naturally appear in number theory. In the first part of the paper, we use Schlessinger criteria for functors on Artinian local rings in order to obtain universal deformation rings for deformations of graded Lie algebras and their graded representations...

متن کامل

Some properties of nilpotent Lie algebras

In this article, using the definitions of central series and nilpotency in the Lie algebras, we give some results similar to the works of Hulse and Lennox in 1976 and Hekster in 1986. Finally we will prove that every non trivial ideal of a nilpotent Lie algebra nontrivially intersects with the centre of Lie algebra, which is similar to Philip Hall's result in the group theory.

متن کامل

ON THE USE OF KULSHAMMER TYPE INVARIANTS IN REPRESENTATION THEORY

Since 2005 a new powerful invariant of an algebra has emerged using the earlier work of Horvath, Hethelyi, Kulshammer and Murray. The authors studied Morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. It was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...

متن کامل

f-DERIVATIONS AND (f; g)-DERIVATIONS OF MV -ALGEBRAS

Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples. Moreover, as a generalization of derivations of $MV$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $MV$-algebras.Also, we investigate some properties of them.

متن کامل

Filter theory in MTL-algebras based on Uni-soft property

‎The notion of (Boolean) uni-soft filters‎ ‎in MTL-algebras is introduced‎, ‎and several properties of them are‎ ‎investigated‎. ‎Characterizations of (Boolean) uni-soft filters are discussed‎, ‎and some (necessary and sufficient) conditions‎ ‎for a uni-soft filter to be Boolean are provided‎. ‎The condensational property for a Boolean uni-soft filter is established.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Logic Journal of the IGPL

دوره 19  شماره 

صفحات  -

تاریخ انتشار 2011